Logica Formal

Provas, Recursividade e analise de algoritimos

Conjuntos e Combinatória

Relações, funções e matrizes

Grafos e árvores

Grafos de algoritimos

Algebra Booleana e Lógica computacional

Modelagem aritimética , computação e linguagens

Obs.:Caso precise da password escrever logic
http://www.whfreeman.com/gersting_shell/content/instructor/password/index.htm

Caso haja interesse para ver classificação geral da matemática dividida em tópicos e subtópicos clicar nos itens abaixo:

Classificação da matematica
2000 Mathematics Subject Classification ou
new MSC2000 classifications --> 1991 Msc classifications
1991 Msc classifications

outro link interessante falando tudo sobre matemática